Bernhard Beckert (Author) / Najlacnejšie knihy

Books by author Bernhard Beckert

Showing 1 – 11 out of 11 results

Next

Page 1. out of 1

Previous

Sort by and show unavailable as well

  1. Logic of Software. A Tasting Menu of Formal Methods

    Logic of Software. A Tasting Menu of Formal Methods

    Einar Broch Johnsen, Richard Bubel, Bernhard Beckert | Springer International Publishing AG, 2022


    In stock at our supplier - Shipping in 5 - 8 days

    Language: English

    Binding: Paperback

    103.05

    Sale 7 %
    You save 8.63 €
    Buy
  2. Formal Verification of Object-Oriented Software

    Formal Verification of Object-Oriented Software

    Bernhard Beckert | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2011


    Low in stock at our supplier - Shipping in 9 - 15 days

    Language: English

    Binding: Paperback

    56.08

    Buy
  3. Tests and Proofs

    Tests and Proofs

    Bernhard Beckert, Reiner Hähnle | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2008


    In stock at our supplier - Shipping in 5 - 8 days

    Language: English

    Binding: Paperback

    51.72

    Sale 7 %
    You save 4.28 €
    Buy
  4. Verification of Object-Oriented Software. The KeY Approach

    Verification of Object-Oriented Software. The KeY Approach

    Bernhard Beckert, Reiner Hähnle, Peter H. Schmitt | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2007


    In stock at our supplier - Shipping in 5 - 8 days

    Language: English

    Binding: Paperback

    103.05

    Sale 7 %
    You save 8.63 €
    Buy
  5. Electronic Voting

    Electronic Voting

    Robert Krimmer, Melanie Volkamer, Veronique Cortier, Bernhard Beckert, Ralf Küsters, Uwe Serdült, David Duenas-Cid | Springer Nature Switzerland AG, 2019


    In stock at our supplier - Shipping in 5 - 8 days

    Language: English

    Binding: Paperback

    59.92

    Sale 7 %
    You save 4.98 €
    Buy
  6. Automated Reasoning with Analytic Tableaux and Related Methods

    Automated Reasoning with Analytic Tableaux and Related Methods

    Bernhard Beckert | Springer, Berlin, 2005


    In stock at our supplier - Shipping in 5 - 8 days

    Language: English

    Binding: Paperback

    51.72

    Sale 7 %
    You save 4.28 €
    Buy
  7. Formal Verification of Object-Oriented Software

    Formal Verification of Object-Oriented Software

    Bernhard Beckert, Ferruccio Damiani, Dilian Gurov | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2012


    In stock at our supplier - Shipping in 5 - 8 days

    Language: English

    Binding: Paperback

    47.57

    Sale 7 %
    You save 3.97 €
    Buy
  8. Deductive Software Verification: Future Perspectives

    Deductive Software Verification: Future Perspectives

    Bernhard Beckert, Mattias Ulbrich, Reiner Hähnle, Richard Bubel | Springer Nature Switzerland AG, 2020


    In stock at our supplier - Shipping in 5 - 8 days

    Language: English

    Binding: Paperback

    51.72

    Sale 7 %
    You save 4.28 €
    Buy
  9. Electronic Voting

    Electronic Voting

    Melanie Volkamer, Bernhard Beckert, Mikhel Solvak, Oksana Kulyk, David Duenas-Cid, Ralf Küsters | Springer Nature Switzerland AG, 2020


    In stock at our supplier - Shipping in 5 - 8 days

    Language: English

    Binding: Paperback

    51.72

    Sale 7 %
    You save 4.28 €
    Buy
  10. Deductive Software Verification - The KeY Book

    Deductive Software Verification - The KeY Book

    Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Reiner Hähnle, Peter H. Schmitt, Mattias Ulbrich | Springer International Publishing AG, 2016


    In stock at our supplier - Shipping in 5 - 8 days

    Language: English

    Binding: Paperback

    123.60

    Sale 7 %
    You save 10.34 €
    Buy
  11. Formal Methods for Components and Objects

    Formal Methods for Components and Objects

    Bernhard Beckert, Ferruccio Damiani, Frank S. de Boer, Marcello M. Bonsangue | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2013


    In stock at our supplier - Shipping in 5 - 8 days

    Language: English

    Binding: Paperback

    51.72

    Sale 7 %
    You save 4.28 €
    Buy

Next

Page 1. out of 1

Previous

Results on page

Refine results

Language
  • English11
Binding
  • Paperback11
Availability
  • Within 2 weeks10
  • Within a month1
Published
  • 20221
  • 20202
  • 20191
  • 20161
  • 20131
  • 20121
  • 20111
  • 20081
  • 20071
  • 20051
Price range

-



Collection points Bratislava a 12863 dalších

Copyright ©2008-26 najlacnejsie-knihy.sk All rights reservedPrivacyCookies


Account: Log in
Všetky knihy sveta na jednom mieste. Navyše za skvelé ceny.

Shopping cart ( Empty )

For free shipping
shop for 59,99 € and more

You are here: